Francis J. Hopcroft author data searchable via API